Continuous function - PDFSEARCH.IO - Document Search Engine

Continuous function
Results: 1221

#	Item
341	Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-07-02 11:28:23 General topology Topos Baire space Continuous function Space Ordinal number Cantor space Grothendieck topology Constructible universe Topology Mathematics Sheaf theory
342	The Economic Society of Australia Inc. Proceedings of the 37th Australian Add to Reading List Source URL: www.ace08.com.au Language: English - Date: 2008-10-28 06:35:47 Functions and mappings Microeconomics Mathematical economics Elasticity of a function Function Production function Concave function Continuous function Cobb–Douglas production function Mathematical analysis Mathematics Convex analysis
343	Ordinary Differential Equations Joseph MuscatSee also the Interactive Version: needs Acrobat Reader 9) 2 Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2012-05-18 04:35:34 Mathematics Differential calculus Differential equations Partial differential equations Spectral theory Separation of variables Integrating factor Lipschitz continuity Continuous function Calculus Mathematical analysis Ordinary differential equations
344	On hereditary coreflective subcategories of Top Martin Sleziak () Department of Algebra and Number Theory, FMFI UK, Mlynsk´ a dolina, Bratislava, Slovakia Abstract. Let A be a topological spa Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2005-09-13 11:35:57 Alexandrov topology Quotient space Sequential space Disjoint union Net Topological space Continuous function Ordinal number Order topology Topology General topology Subspace topology
345	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
346	Draft submitted to POPLClosed Type Families with Overlapping Equations Richard A. Eisenberg University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:19 Continuous function Denotational semantics Generic programming Software engineering Symbol Theoretical computer science Mathematics Calculus
347	I-CONTINUITY IN TOPOLOGICAL SPACES Martin Sleziak Abstract. In this paper we generalize the notion of I-continuity, which was defined in [1] for real functions, to maps on topological spaces. We study the classes of Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2004-01-31 17:04:36 Continuous function Metric space Hausdorff space First-countable space Filter Topological space Disjoint union Open set Topological vector space Topology General topology Sequential space
348	The intrinsic topology of a universe in intuitionistic type theory Mart´ın Escard´ o University of Birmingham, UK 8th DCM (in CiE), June 2012, Cambridge, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-17 04:04:56 Sheaf theory Topos Constructivism Continuous function Topological space Category of topological spaces Set theory Universe Intuitionistic type theory Topology Mathematics General topology
349	The intrinsic topology of a univalent universe Mart´ın Escard´ o University of Birmingham, UK 4FTW, June 2012, Ljubljana, Slovenia Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-19 08:18:06 Category of topological spaces Trivial topology Topos Continuous function Grothendieck topology Discrete space Homotopy Topology General topology Topological space
350	Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science

UPDATE